Using the AADL for mission critical software development
نویسنده
چکیده
The Avionics Architecture Description Language (AADL) is an emerging standard, prepared by the Society of Automotive Engineers (SAE), Architecture Description Language Subcommittee, Embedded Computing Systems Committee, Aerospace Avionics Systems Division (AS-2C ). The AADL standard is based on MetaH, an avionics architecture description language and toolset developed at Honeywell Laboratories under the sponsorship of the US Defense Advanced Research Projects Agency (DARPA) and US Army Aviation and Missile Command (AMCOM).
منابع مشابه
Modelling Airborne Mission Systems using the Architecture Analysis and Design Language
One of the critical success factors for integration of a Defence system is a good architectural design. A right architecture can help ensure that a system will satisfy its key operational requirements as well as its quality attributes such as real-time performance, reliability, security, and maintainability. A bad architecture on the other hand is a recipe for disaster (Clements et. al. 2001). ...
متن کاملA Formal Analysis Framework for AADL
As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, in order to provide evidence that the architecture fulfils its requirements. The Architecture Analysis and Design Language (AADL) is a language designed for modeling embedded systems, and its Behavior...
متن کاملSupporting the ARP4761 Safety Assessment Process with AADL
Cyber-physical systems, used in domains such as avionics or medical devices, perform critical functions where a fault might have catastrophic consequences (mission failure, severe injuries, etc.). Their development is guided by rigorous practice standards to avoid any error. However, as software importance continues to grow, integration and validation activities are becoming overwhelming. Late ...
متن کاملThe Story of AADL
5 years ago the SAE AS-2C subcommittee started to work on the Architecture Analysis & Design Language (AADL) standard. AADL was targeted to address issues in mission and safety critical software-reliant systems, aka. Cyberphysical systems. AADL addresses the increasing challenges of such systems the exponential increase in verification related software rework cost. Industry studies show that 70...
متن کاملAn architecture-based dependability modeling framework using AADL
For efficiency reasons, the software system designers’ will is to use an integrated set of methods and tools to describe specifications and designs, and also to perform analyses such as dependability, schedulability and performance. AADL (Architecture Analysis and Design Language) has proved to be efficient for software architecture modeling. In addition, AADL was designed to accommodate severa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003